We define the term \a set T of sentential-logical formulae grounds a sentential-logical formula A from a syntactic point of view\ in such a way that A is a syntactic sentential-logical consequence of T, and specific additional syntactic requirements regarding T and A are fulfilled. These additional requirements are developed strictly within the syntactics of sentential-logical languages, the three most important being new, namely: to be atomically minimal, to be minimal in degree, and not to be conjunction-like. Our approach is (...) independent of any specific sentential-logical calculus. (shrink)

Is logic normative for reasoning? In the wake of work by Gilbert Harman and John MacFarlane, this question has been reduced to: are there any adequate bridge principles which link logical facts to normative constraints on reasoning? Hitherto, defenders of the normativity of logic have exclusively focussed on identifying adequate validity bridge principles: principles linking validity facts—facts of the form 'gamma entails phi'—to normative constraints on reasoning. This paper argues for two claims. First, for the time being at least, Harman’s (...) challenge cannot be surmounted by articulating validity bridge principles. Second, Harman’s challenge can be met by articulating invalidity bridge principles: principles linking invalidity facts of the form 'gamma does not entail phi' to normative constraints on reasoning. In doing so, I provide a novel defence of the normativity of logic. (shrink)

Sense of agency refers to the sense of initiating and controlling actions in order to influence events in the outside world. Recently, a distinction between implicit and explicit aspects of sense of agency has been proposed, analogous to distinctions found in other areas of cognition, notably learning. However, there is yet no strong evidence supporting separable implicit and explicit components of sense of agency. The so-called ‘Perruchet paradigm’ offers one of the few convincing demonstrations of separable implicit and explicit learning (...) systems. We adopted this approach to evaluate the implicit–explicit distinction in the context of a simple task in which outcomes were probabilistically caused by actions. In line with our initial predictions, we found evidence of a dissociation. We discuss the implications of this result for theories of sense of agency. (shrink)

Although the theory of definability had many important antecedents—such as the descriptive set theory initiated by the French semi-intuitionists in the early 1900s—the main ideas were first laid out in precise mathematical terms by Alfred Tarski beginning in 1929. We review here the basic notions of languages, explicit definability, and grammatical complexity, and emphasize common themes in the theories of definability for four important languages underlying, respectively, descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. We review (...) the history of previous studies of the similarities and differences in the theories of definability of the first three of these four languages. A seminal role leading toward unification of the theories has been played by the separation principles introduced by Nikolai Luzin in 1927. Emphasizing analogies and driving toward further unification embracing finite-universe logic we concentrate on a simple example—the first and second separation principles for existential-universal first-order sentences . Using this as a test case for the fundamental problem of how to “finitize” arguments in classical pure logic to the finite-universe case, we are led to the analogous negative solution by using the theory of certain special graphs: a graph is - special for any positive integers m , n , p , q iff it is bipartite with m red points and n blue points and for every p -tuple of red points there is a blue point to which they are all connected . As an aside we introduce for further study a natural “Ramseyesque” increasing sequence A of positive integers, where A is the least positive integer n for which an -special graph exists. (shrink)

Abortion is one of the most divisive topics in healthcare. Proponents and opponents hold strong views. Some health workers who oppose abortion assert a right of conscientious objection to it, a position itself that others find unethical. Even if allowance for objection should be made, it is not clear how far it should extend. Can conscientious objection be given as a reason not to refer when a woman requests her doctor to do so? This paper explores the idea of the (...) general practitioner (GP) who declines to make a direct referral for abortion, asking the woman to see another GP instead. The purpose is to defend the claim that an appeal to conscientious objection in this way can be reasonable and ethical. (shrink)

I wish to thank Klaus Kühnle who streamlined in [8] several of my definitions and proofs concerning the subject matter of this paper. Some ideas and results arose from discussions with Klaus Leeb. Jan Johannsen discovered some mistakes in an earlier version.

These texts, the property of the Egypt Exploration Society, were purchased, together with other literary and documentary material, from a Greek lady at Medînet-el-Faiyûm by Dr. J. de M. Johnson in 1914. I am grateful to the Secretary of the Society for permission to publish them.